#supuestos e invariantes